How to properly infer nested and complex types in Typescript